#include <stdio.h>

void copy_int(int val, void *buf, unsigned maxlen){
    if (maxlen >= sizeof(val))
        printf("1");
}

int main(){

    return 0;
}
